classical propositional logic
[数] 经典命题逻辑
热门查询
- cackling n. 咯咯叫；防磨卷；高声谈笑 adj. 咯咯叫的；高声笑的 v. 咯咯叫；咯咯地笑（cackle的ing形式）
- grinning n. 露底，露齿笑 v. 露齿而笑（grin的现在分词形式） n. (Grinning)人名；(英)格林宁
- transferral 转移 转换 调动
- draft n. 汇票；草稿；选派；（尤指房间、烟囱、炉子等供暖系统中的）（小股）气流 vt. 起草；制定；征募 vi. 拟稿；绘样；作草图 adj. 初步画出或（写出）的；（设计、草图、提纲或版本）正在起草中的，草拟的；以草稿形式的；草图的
- elaborately adv. 精巧地；苦心经营地
- dozer n. 推土机；打瞌睡的人 n. (Dozer)人名；(英)多泽
- masher n. 捣碎器；调戏妇女者
- miscreant adj. 异端的；邪道的；极恶的 n. 异端；恶棍；罪大恶极之人
- sanctus [宗]三圣颂[曲]
- bernice n. 伯妮斯(Berenice的异体)(f.)
- dunce n. 傻瓜；劣学生
- Egerton [人名] [英格兰人姓氏] 埃杰顿住所名称，来源于古英语，含义是“军队+居留地”(army+settlement)
- packet n. 数据包，信息包；小包，小捆 vt. 包装，打包
- expansively adv. 辽阔地；可扩张地
- cultist n. 热衷搞迷信崇拜的人；邪教分子
- zeta n. 希腊语第六个字母 n. (Zeta)人名；(英)泽塔
- flatlander n. 平地的居民
- Sherwin 舍温（姓氏，男子名）
- chromatography n. 色层分析；色谱分析法
- feminazi 极端女权主义者
